Andrew M. Pitts, Paul Taylor. "A note on Russell’s paradox in locally Cartesian closed categories" - Internet Explorer 2.0

Andrew M. Pitts, Paul Taylor. "A note on Russell’s paradox in locally Cartesian closed categories"

Andrew M. Pitts，Paul Taylor